home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 7: Sunsite / Linux Cubed Series 7 - Sunsite Vol 1.iso / system / shells / scsh-0.4 / scsh-0 / scsh-0.4.2 / scsh / oldfr.scm < prev    next >
Text File  |  1995-10-13  |  20KB  |  569 lines

  1. ;;; Field and record parsing utilities for scsh.
  2. ;;; Copyright (c) 1994 by Olin Shivers.
  3.  
  4. ;;; Notes:
  5. ;;; - Comment on the dependencies here...
  6. ;;; - Redefine READ-LINE using READ-DELIMITED.
  7. ;;; - Awk should deal with case-insensitivity.
  8. ;;; - Should I change the field-splitters to return lists? It's the
  9. ;;;   right thing, and costs nothing in terms of efficiency.
  10.  
  11. ;;; Looping primitives:
  12. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  13. ;;; It is nicer for loops that loop over a bunch of different things
  14. ;;; if you can encapsulate the idea of iterating over a data structure
  15. ;;; with a 
  16. ;;;     (next-element state) -> elt next-state
  17. ;;;     (more-elements? state) -? #t/#f
  18. ;;; generator/termination-test pair. You can use the generator with REDUCE
  19. ;;; to make a list; you can stick it into a loop macro to loop over the 
  20. ;;; elements. For example, if we had an extensible Yale-loop style loop macro,
  21. ;;; we could have a loop clause like
  22. ;;; 
  23. ;;;     (loop (for field in-infix-delimited-string ":" path)
  24. ;;;           (do (display field) (newline)))
  25. ;;; 
  26. ;;; and it would be simple to expand this into code using the generator.
  27. ;;; With procedural inlining, you can get pretty optimal loops over data
  28. ;;; structures this way.
  29. ;;;
  30. ;;; As of now, you are forced to parse fields into a buffer, and loop
  31. ;;; over that. This is inefficient of time and space.  If I ever manage to do
  32. ;;; an extensible loop macro for Scheme 48, I'll have to come back to this
  33. ;;; package and rethink how to provide this functionality.
  34.  
  35. ;;; Forward-progress guarantees and empty string matches.
  36. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  37. ;;; A loop that pulls text off a string by matching a regexp against
  38. ;;; that string can conceivably get stuck in an infinite loop if the
  39. ;;; regexp matches the empty string. For example, the regexps
  40. ;;; ^, $, .*, foo|[^f]* can all match the empty string.
  41. ;;; 
  42. ;;; The regexp-loop routines in this code are careful to handle this case. 
  43. ;;; If a regexp matches the empty string, the next search starts, not from
  44. ;;; the end of the match (which in the empty string case is also the 
  45. ;;; beginning -- there's the rub), but from the next character over.
  46. ;;; This is the correct behaviour. Regexps match the longest possible
  47. ;;; string at a given location, so if the regexp matched the empty string
  48. ;;; at location i, then it is guaranteed they could not have matched
  49. ;;; a longer pattern starting with character #i. So we can safely begin
  50. ;;; our search for the next match at char i+1.
  51. ;;; 
  52. ;;; So every iteration through the loop makes some forward progress,
  53. ;;; and the loop is guaranteed to terminate.
  54. ;;; 
  55. ;;; This has the effect you want with field parsing. For example, if you split
  56. ;;; a string with the empty pattern, you will explode the string into its
  57. ;;; individual characters:
  58. ;;;     ((suffix-splitter "") "foo") -> #("" "f" "o" "o")
  59. ;;; However, even though this boundary case is handled correctly, we don't
  60. ;;; recommend using it. Say what you mean -- just use a field splitter:
  61. ;;;     ((field-splitter ".") "foo") -> #("f" "o" "o")
  62.  
  63.  
  64.  
  65. ;;; (join-strings string-list [delimiter grammar]) => string
  66. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  67. ;;; Paste strings together using the delimiter string.
  68. ;;;
  69. ;;; (join-strings '("foo" "bar" "baz") ":") => "foo:bar:baz"
  70. ;;;
  71. ;;; DELIMITER defaults to a single space " "
  72. ;;; GRAMMAR is one of the symbols {infix, suffix} and defaults to 'infix.
  73.  
  74. ;;; (join-strings strings [delim grammar])
  75.  
  76. (define (join-strings strings . args)
  77.   (if (pair? strings)
  78.       (receive (delim grammar) (parse-optionals args " " 'infix)
  79.     (check-arg string? delim join-strings)
  80.     (let ((strings (reverse strings)))
  81.       (let lp ((strings (cdr strings))
  82.            (ans (case grammar
  83.               ((infix)  (list (car strings)))
  84.               ((suffix) (list (car strings) delim))
  85.               (else (error "Illegal grammar" grammar)))))
  86.         (if (pair? strings)
  87.         (lp (cdr strings)
  88.             (cons (car strings) (cons delim ans)))
  89.       
  90.         ; All done
  91.         (apply string-append ans)))))
  92.  
  93.       ""))    ; Special-cased for infix grammar.
  94.  
  95. ;;; FIELD PARSERS
  96. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  97. ;;; This section defines routines to split a string into fields.
  98. ;;; You can parse by specifying a pattern that *separates* fields,
  99. ;;; a pattern that *terminates* fields, or a pattern that *matches*
  100. ;;; fields.
  101.  
  102. (define (->delim-matcher x)
  103.   (if (procedure? x) x                    ; matcher proc
  104.       (let ((re (cond ((regexp? x) x)            ; regexp pattern
  105.               ((string? x) (make-regexp x))    ; regexp string
  106.               (else (error "Illegal pattern/parser" x)))))
  107.  
  108.     ;; The matcher proc.
  109.     (lambda (s i)
  110.       (cond ((regexp-exec re s i) =>
  111.          (lambda (m) (values (match:start m 0) (match:end m 0))))
  112.         (else (values #f #f)))))))
  113.  
  114. ;;; (infix-splitter         [re num-fields handle-delim])    -> parser
  115. ;;; (suffix-splitter        [re num-fields handle-delim])    -> parser
  116. ;;; (sloppy-suffix-splitter [re num-fields handle-delim])    -> parser
  117. ;;; (field-splitter         [re num-fields])              -> parser
  118. ;;;
  119. ;;; (parser string [start]) -> string-list
  120.  
  121. (define (make-field-parser-generator default-delim-matcher loop-proc)
  122.   ;; This is the parser-generator
  123.   (lambda args
  124.     (receive (delim-spec num-fields handle-delim)
  125.          (parse-optionals args  default-delim-matcher #f 'trim)
  126.  
  127.       ;; Process and error-check the args
  128.       (let ((match-delim (->delim-matcher delim-spec))
  129.         (cons-field (case handle-delim         ; Field     is s[i,j).
  130.               ((trim)            ; Delimiter is s[j,k).
  131.                (lambda (s i j k fields)
  132.                  (cons (substring s i j) fields)))
  133.               ((split)
  134.                (lambda (s i j k fields)
  135.                  (cons (substring s j k)
  136.                    (cons (substring s i j) fields))))
  137.               ((concat)
  138.                (lambda (s i j k fields)
  139.                  (cons (substring s i k)
  140.                    fields)))
  141.               (else
  142.                (error "Illegal handle-delim spec"
  143.                   handle-delim)))))
  144.  
  145.     (receive (num-fields nfields-exact?)
  146.              (cond ((not num-fields) (values #f #f))
  147.                ((not (integer? num-fields))
  148.             (error "Illegal NUM-FIELDS value" num-fields))
  149.                ((<= num-fields 0) (values (- num-fields) #f))
  150.                (else (values num-fields #t)))
  151.  
  152.       ;; This is the parser.
  153.       (lambda (s . maybe-start)
  154.         (reverse (loop-proc s (optional-arg maybe-start 0)
  155.                 match-delim cons-field
  156.                 num-fields nfields-exact?))))))))
  157.  
  158. (define default-field-matcher (->delim-matcher "[^ \t\n]+"))
  159.  
  160. ;;; (field-splitter [field-spec num-fields])
  161.  
  162. (define (field-splitter . args)
  163.   (receive (field-spec num-fields)
  164.        (parse-optionals args  default-field-matcher #f)
  165.  
  166.     ;; Process and error-check the args
  167.     (let ((match-field (->delim-matcher field-spec)))
  168.       (receive (num-fields nfields-exact?)
  169.            (cond ((not num-fields) (values #f #f))
  170.              ((not (integer? num-fields))
  171.               (error "Illegal NUM-FIELDS value"
  172.                  field-splitter num-fields))
  173.              ((<= num-fields 0) (values (- num-fields) #f))
  174.              (else (values num-fields #t)))
  175.  
  176.     ;; This is the parser procedure.
  177.     (lambda (s . maybe-start)
  178.       (reverse (fieldspec-field-loop s (optional-arg maybe-start 0)
  179.                      match-field num-fields nfields-exact?)))))))
  180.  
  181.  
  182. ;;; These four procedures implement the guts of each parser
  183. ;;; (field, infix, suffix, and sloppy-suffix).
  184. ;;;
  185. ;;; The CONS-FIELD argument is a procedure that parameterises the
  186. ;;; HANDLE-DELIM action for the field parser.
  187. ;;; 
  188. ;;; The MATCH-DELIM argument is used to match a delimiter. 
  189. ;;; (MATCH-DELIM S I) returns two integers [start, end] marking
  190. ;;; the next delimiter after index I in string S. If no delimiter is
  191. ;;; found, it returns [#f #f].
  192.  
  193. ;;; In the main loop of each parser, the loop variable LAST-NULL? tells if the
  194. ;;; previous delimiter-match matched the empty string. If it did, we start our
  195. ;;; next delimiter search one character to the right of the match, so we won't
  196. ;;; loop forever. This means that an empty delimiter regexp "" simply splits
  197. ;;; the string at each character, which is the correct thing to do.
  198. ;;;
  199. ;;; These routines return the answer as a reversed list.
  200.  
  201.  
  202. (define (fieldspec-field-loop s start match-field num-fields nfields-exact?)
  203.   (let ((end (string-length s)))
  204.     (let lp ((i start) (nfields 0) (fields '()) (last-null? #f))
  205.       (let ((j (if last-null? (+ i 1) i)) ; Where to start next delim search.
  206.  
  207.         ;; Check to see if we made our quota before returning answer.
  208.         (finish-up (lambda ()
  209.              (if (and num-fields (< nfields num-fields))
  210.                  (error "Too few fields in record." num-fields s)
  211.                  fields))))
  212.  
  213.     (cond ((> j end) (finish-up))    ; We are done. Finish up.
  214.  
  215.           ;; Read too many fields. Bomb out.
  216.           ((and nfields-exact? (> nfields num-fields))
  217.            (error "Too many fields in record." num-fields s))
  218.  
  219.           ;; Made our lower-bound quota. Quit early.
  220.           ((and num-fields (= nfields num-fields) (not nfields-exact?))
  221.            (if (= i end) fields    ; Special case hackery.
  222.            (cons (substring s i end) fields)))
  223.  
  224.           ;; Match off another field & loop.
  225.           (else (receive (m0 m1) (match-field s j)
  226.                   (if m0 (lp m1 (+ nfields 1)
  227.                  (cons (substring s m0 m1) fields)
  228.                  (=  m0 m1))
  229.               (finish-up)))))))))    ; No more matches. Finish up.
  230.  
  231.  
  232. (define (infix-field-loop s start match-delim cons-field
  233.               num-fields nfields-exact?)
  234.   (let ((end (string-length s)))
  235.     (if (= start end) '() ; Specially hack empty string.
  236.  
  237.     (let lp ((i start) (nfields 0) (fields '()) (last-null? #f))
  238.       (let ((finish-up (lambda ()
  239.                  ;; s[i,end) is the last field. Terminate the loop.
  240.                  (cond ((and num-fields (< (+ nfields 1) num-fields))
  241.                     (error "Too few fields in record."
  242.                        num-fields s))
  243.                   
  244.                    ((and nfields-exact?
  245.                      (>= nfields num-fields))
  246.                     (error "Too many fields in record."
  247.                        num-fields s))
  248.  
  249.                    (else
  250.                     (cons (substring s i end) fields)))))
  251.  
  252.         (j (if last-null? (+ i 1) i))) ; Where to start next search.
  253.  
  254.         (cond
  255.           ;; If we've read NUM-FIELDS fields, quit early .
  256.               ((and num-fields (= nfields num-fields))
  257.            (if nfields-exact?
  258.                (error "Too many fields in record." num-fields s)
  259.                (cons (substring s i end) fields)))
  260.  
  261.         
  262.           ((<= j end)        ; Match off another field.
  263.            (receive (m0 m1) (match-delim s j)
  264.              (if m0
  265.              (lp m1 (+ nfields 1)
  266.                  (cons-field s i m0 m1 fields)
  267.                  (= m0 m1))
  268.              (finish-up)))) ; No more delimiters - finish up.
  269.  
  270.           ;; We've run off the end of the string. This is a weird
  271.           ;; boundary case occuring with empty-string delimiters.
  272.           (else (finish-up))))))))
  273.  
  274.  
  275.  
  276. ;;; Match off an optional initial delimiter,
  277. ;;; then jump off to the suffix parser.
  278.  
  279. (define (sloppy-suffix-field-loop s start match-delim cons-field
  280.                   num-fields nfields-exact?)
  281.   ;; If sloppy-suffix, skip an initial delimiter if it's there.
  282.   (let ((start (receive (i j) (match-delim s start)
  283.                  (if (and i (zero? i)) j start))))
  284.     (suffix-field-loop s start match-delim cons-field
  285.                num-fields nfields-exact?)))
  286.  
  287.  
  288. (define (suffix-field-loop s start match-delim cons-field
  289.                num-fields nfields-exact?)
  290.   (let ((end (string-length s)))
  291.  
  292.     (let lp ((i start) (nfields 0) (fields '()) (last-null? #f))
  293.       (let ((j (if last-null? (+ i 1) i))) ; Where to start next delim search.
  294.     (cond ((= i end) ; We are done.
  295.            (if (and num-fields (< nfields num-fields)) ; Didn't make quota.
  296.            (error "Too few fields in record." num-fields s)
  297.            fields))
  298.  
  299.           ;; Read too many fields. Bomb out.
  300.           ((and nfields-exact? (= nfields num-fields))
  301.            (error "Too many fields in record." num-fields s))
  302.  
  303.               ;; Made our lower-bound quota. Quit early.
  304.           ((and num-fields (= nfields num-fields) (not nfields-exact?))
  305.            (cons (substring s i end) fields))
  306.  
  307.           (else ; Match off another field.
  308.            (receive (m0 m1) (match-delim s j)
  309.          (if m0 (lp m1 (+ nfields 1)
  310.                 (cons-field s i m0 m1 fields)
  311.                 (= m0 m1))
  312.              (error "Missing field terminator" s)))))))))
  313.  
  314.  
  315. ;;; Now, build the exported procedures: {infix,suffix,sloppy-suffix}-splitter.
  316.  
  317. (define default-suffix-matcher (->delim-matcher "[ \t\n]+|$"))
  318. (define default-infix-matcher  (->delim-matcher "[ \t\n]+"))
  319.  
  320. (define infix-splitter
  321.   (make-field-parser-generator default-infix-matcher  infix-field-loop))
  322. (define suffix-splitter
  323.   (make-field-parser-generator default-suffix-matcher suffix-field-loop))
  324. (define sloppy-suffix-splitter
  325.   (make-field-parser-generator default-suffix-matcher sloppy-suffix-field-loop))
  326.  
  327.  
  328.  
  329. ;;; Delimited readers
  330. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  331. ;;; We repeatedly allocate a buffer and fill it with READ-DELIMITED!
  332. ;;; until we hit a delimiter or EOF. Each time through the loop, we
  333. ;;; double the total buffer space, so the loop terminates with a log
  334. ;;; number of reads, but uses at most double the optimal buffer space.
  335.  
  336. (define (read-delimited delims . maybe-port)
  337.   (let ((smart-substring (lambda (s end)
  338.                (if (= end (string-length s)) s
  339.                    (substring s 0 end))))
  340.     (delims (->char-set delims)))
  341.  
  342.     ;; BUFLEN is total amount of buffer space allocated to date.
  343.     (let lp ((strs '()) (buflen 80) (buf (make-string 80)))
  344.       (cond ((apply read-delimited! delims buf maybe-port) =>
  345.              (lambda (i)
  346.            (if (null? strs)        ; Gratuitous optimisation.
  347.            (smart-substring buf i)
  348.            (apply string-append
  349.               (reverse (if (eof-object? i)
  350.                        strs
  351.                        (cons (smart-substring buf i)
  352.                          strs)))))))
  353.  
  354.         (else (lp (cons buf strs)
  355.               (+ buflen buflen)
  356.               (make-string buflen)))))))
  357.  
  358.  
  359. ;;; (read-delimited! delims buf [port start end])
  360.  
  361. (define (read-delimited! delims buf . args) ; [port start end]
  362.   (receive (port start end)
  363.        (parse-optionals args (current-input-port) 0 (string-length buf))
  364.     (check-arg input-port? port read-delimited!)
  365.     (let ((delims (->char-set delims)))
  366. ;      (if (fd-inport? port) ; ???
  367. ;
  368. ;      ;; Handle fdports in C code for speed.
  369. ;      (receive (err val)
  370. ;           (%read-delimited-fdport!/errno delims buf port start end)
  371. ;        (if err
  372. ;            (errno-error err read-delimited!)
  373. ;            val))
  374.  
  375.       ;; This is the code for other kinds of ports.
  376.       (let lp ((i start))
  377.         (and (< i end)
  378.              (let ((c (peek-char port)))
  379.            (if (or (eof-object? c)
  380.                (char-set-contains? delims c))
  381.                (- i start)
  382.                (begin (string-set! buf i (read-char port))
  383.                   (lp (+ i 1))))))))))
  384. ;)
  385.  
  386. ;(define-foreign %read-delimited-fdport!/errno (read_delim (string-desc delims)
  387. ;                              (string-desc buf)
  388. ;                              (desc port) ;???
  389. ;                              (fixnum start)
  390. ;                              (fixnum end))
  391. ;  desc    ; errno or #f
  392. ;  desc)    ; nread or #f or eof-object
  393.  
  394. (define (skip-char-set cset . maybe-port)
  395.   (let ((port (optional-arg maybe-port (current-input-port))))
  396.     (let lp ()
  397.       (let ((c (peek-char port)))
  398.     (cond ((and (char? c) (char-set-contains? cset c))
  399.            (read-char port)
  400.            (lp))
  401.           (else c))))))
  402.  
  403.  
  404.  
  405. ;;; Reading records
  406. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  407.  
  408. (define default-record-delims (char-set #\newline))
  409.  
  410. ;;; (record-reader [delims elide? handle-delim]) -> reader
  411. ;;; (reader [port]) -> string or eof
  412.  
  413. (define (record-reader . args)
  414.   (receive (delims elide? handle-delim)
  415.            (parse-optionals args default-record-delims #f 'trim)
  416.     (let ((delims (->char-set delims)))
  417.  
  418.       (case handle-delim
  419.     ((trim)            ; TRIM-delimiter reader.
  420.      (lambda maybe-port
  421.        (let ((s (apply read-delimited delims maybe-port)))
  422.          (if (not (eof-object? s))
  423.          (if elide?
  424.              (apply skip-char-set delims maybe-port) ; Snarf delims.
  425.              (apply read-char maybe-port))) ; Just snarf one.
  426.          s)))
  427.  
  428.     ((concat split)        ; CONCAT-delimiter & SPLIT-delimiter reader.
  429.      (let ((not-delims (char-set-invert delims)))
  430.        (lambda maybe-port
  431.          (let ((s (apply read-delimited delims maybe-port)))
  432.            (if (eof-object? s) s
  433.            (let ((delim (if elide?
  434.                     (apply read-delimited not-delims maybe-port)
  435.                     (string (apply read-char maybe-port)))))
  436.              (if (eq? handle-delim 'split)
  437.              (values s delim)
  438.              (if (eof-object? delim) s
  439.                  (string-append s delim)))))))))
  440.  
  441.     (else
  442.      (error "Illegal delimiter-action" handle-delim))))))
  443.  
  444.  
  445. ;;; {string, char, char-set, char predicate} -> char-set
  446.  
  447. (define (->char-set x)
  448.   (cond ((char-set? x) x)
  449.     ((string? x) (string->char-set x))
  450.     ((char? x) (char-set x))
  451.     ((procedure? x) (predicate->char-set x))
  452.     (else (error "->char-set: Not a charset, string, char, or predicate."
  453.              x))))
  454.  
  455.  
  456.  
  457. (define blank-line-regexp (make-regexp "^[ \t]*\n$"))
  458.  
  459. ;;; (read-paragraph [port])
  460. (define (read-paragraph . maybe-port)
  461.   (let ((port (optional-arg maybe-port (current-input-port))))
  462.     
  463.     ;; First, skip all blank lines.
  464.     (let lp ()
  465.       (let ((line (read-line port #t)))
  466.     (cond ((eof-object? line)                   line)
  467.           ((regexp-exec blank-line-regexp line) (lp))
  468.  
  469.           ;; Then, read in non-blank lines.
  470.           (else (let ((lines (let lp ((lines (list line)))
  471.                    (let ((line (read-line port #t)))
  472.                      (cond ((or (eof-object? line)
  473.                         (regexp-exec blank-line-regexp
  474.                                  line))
  475.                         lines)
  476.                        (else (lp (cons line lines))))))))
  477.  
  478.               ;; Return the paragraph
  479.               (apply string-append (reverse lines)))))))))
  480.  
  481. ;;; Reading and parsing records
  482. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  483. ;;; (field-reader [field-parser rec-reader]) -> reader
  484. ;;; (reader [port]) -> [raw-record parsed-record] or [eof #()]
  485. ;;; 
  486. ;;; This is the field reader, which is basically just a composition of
  487. ;;; RECORD-READER and FIELD-PARSER.
  488.  
  489. (define default-field-parser (field-splitter))
  490.  
  491. (define (field-reader . args)
  492.   (receive (parser rec-reader)
  493.            (parse-optionals args default-field-parser read-line)
  494.     (lambda maybe-port
  495.       (let ((record (apply rec-reader maybe-port)))
  496.     (if (eof-object? record)
  497.         (values record '#())
  498.         (values record (parser record)))))))
  499.  
  500.  
  501.  
  502. ;;; Parse fields by regexp
  503. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  504. ;;; This code parses up a record into fields by matching a regexp specifying
  505. ;;; the field against the record. The regexp describes the *field*. In the
  506. ;;; other routines, the regexp describes the *delimiters*. They are
  507. ;;; complimentary.
  508.  
  509. ;;; Repeatedly do (APPLY PROC M STATE) to generate new state values,
  510. ;;; where M is a regexp match structure made from matching against STRING.
  511.  
  512. ;(define (regexp-reduce string start regexp proc . state)
  513. ;  (let ((end (string-length string))
  514. ;    (regexp (if (string? regexp)
  515. ;            (make-regexp regexp)
  516. ;            regexp)))
  517. ;
  518. ;    (let lp ((i start) (state state) (last-null? #f))
  519. ;      (let ((j (if last-null? (+ i 1) i)))
  520. ;    (cond ((and (<= j end) (regexp-exec regexp string j)) =>
  521. ;               (lambda (m)
  522. ;         (receive state (apply proc m state)
  523. ;           (lp (match:end m) state (= (match:start m) (match:end m))))))
  524. ;          (else (apply values state)))))))
  525. ;
  526. ;(define (all-regexp-matches regexp string)
  527. ;  (reverse (regexp-reduce string 0 regexp
  528. ;              (lambda (m ans) (cons (match:substring m 0) ans))
  529. ;              '())))
  530.  
  531. ;;; Previously in newports.scm
  532.  
  533. ;;; Read in a line of data. Input is terminated by either a newline or EOF.
  534. ;;; The newline is trimmed from the string.
  535.  
  536. (define (read-line . rest)
  537.   (let ((port (if (null? rest) (current-input-port) (car rest))) ; Optional arg
  538.     (retain-newline? (and (not (null? rest))         ; parsing.
  539.                   (not (null? (cdr rest)))
  540.                   (cadr rest)))
  541.  
  542.     ;; S[I] := C. If this overflows S, grow it.
  543.     (deposit (lambda (s i c)
  544.            (let ((s (if (< i (string-length s)) s
  545.                 (string-append s s)))) ; doubling hack
  546.              (string-set! s i c)
  547.              s)))
  548.  
  549.     ;; Precisely resize S to size NUMCHARS.
  550.     (trim (lambda (s numchars)
  551.         (if (= numchars (string-length s)) s
  552.             (substring s 0 numchars)))))
  553.  
  554.     (let lp ((s (make-string 81)) (numchars 0))
  555.       (let ((c (read-char port)))
  556.     (cond ((eof-object? c)
  557.            (if (zero? numchars) c
  558.            (trim s numchars)))
  559.  
  560.           ((char=? c #\newline)
  561.            (if retain-newline?
  562.            (trim (deposit s numchars c)
  563.              (+ numchars 1))
  564.            (trim s numchars)))
  565.  
  566.           (else (lp (deposit s numchars c)
  567.             (+ numchars 1))))))))
  568.  
  569.